<DIV class="section">
 <H1> Research Interests </H1>
  <P>
     Natural language understanding, knowledge representation, 
     automated reasoning, declarative problem solving. We are 
     particularly interested in applying automated reasoning 
     techniques for solving inference problems stemming from 
     natural language understanding domain. Also, our work spans 
     theoretic foundations as well as practical implementations 
     of methods for automated reasoning based on model generation. 
  </P>
  <H1> Research Projects </H1><P>
  <UL id="contents">
   <LI><A HREF="#resources">What lexical wide coverage resources can do for parsing</A>
   <LI><A HREF="#textual">Textual inference</A>
   <LI><A HREF="#copa">Causality in natural language understanding</A>
   <LI><A HREF="#declarative">Syntactic parsing by means of declarative programming </A>
   <LI><A HREF="#modularity">Modularity for modeling and solving in declarative programming</A>
   <LI><A HREF="#optimization">Automated optimization in declarative constraint programming</A>
   <LI><A HREF="#asp">Answer set programming and solving</A>
   <LI><A HREF="#casp">Constraint answer set programming</A>
  </UL></P>
</DIV>
